🔢 Linear Types

Resource Management, Affine Types, Ownership Semantics, Borrowing Patterns

Bad Map Projection: Interrupted Spheres
xkcd.com·1d
🦀Rust
Container Use for Locally Sandboxed, Background Agents in Zed
zed.dev·1d·
Discuss: Hacker News
⏱️Tokio
Can small AI models think as well as large ones?
seangoedecke.com·4d·
Discuss: Hacker News
🤖AI
Kite Incident
xkcd.com·3d
🔍Static Analysis
Geologic Periods
xkcd.com·6d
🔗Dependent Types